tail{-}dcdr\{i:l\}(${\it es}$; ${\it Config}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$TERMOF\{decidable\_\_is{-}tail:ObjectId, 1:l, i:l\}(${\it es}$,${\it Config}$)